Adwaita: fix headerbar spinbutton size
authorLapo Calamandrei <calamandrei@gmail.com>
Wed, 3 Feb 2016 17:32:51 +0000 (18:32 +0100)
committerLapo Calamandrei <calamandrei@gmail.com>
Wed, 3 Feb 2016 17:32:51 +0000 (18:32 +0100)
fixes https://bugzilla.gnome.org/show_bug.cgi?id=761484

gtk/theme/Adwaita/_common.scss
gtk/theme/Adwaita/gtk-contained-dark.css
gtk/theme/Adwaita/gtk-contained.css

index d91e9eb5fa4caaca0ba63b8a48f640d67560a741..2bce268a17e95f5a28d37305c9bf6760a6aecbb1 100644 (file)
@@ -910,12 +910,14 @@ spinbutton {
     padding: 0;
 
     entry {
+      margin: 0;
       background: none;
       border: none;
       box-shadow: none;
     }
 
     button {
+      margin: 0;
       background-image: none;
       border-style: none none none solid;
       border-color: transparentize($borders_color, 0.7);
@@ -1351,6 +1353,7 @@ headerbar {
 
   // add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height
   entry,
+  spinbutton,
   separator,
   button {
     margin-top: 6px;
index 46af31358795157248e87736271d32e6f1a19851..6919c03148ffc40cac774ee7c4dc9b7067bc6e72 100644 (file)
@@ -1351,12 +1351,14 @@ headerbar button.titlebutton:visited,
 spinbutton:not(.vertical) {
   padding: 0; }
   spinbutton:not(.vertical) entry, spinbutton:not(.vertical) spinbutton:not(.vertical) {
+    margin: 0;
     background: none;
     border: none;
     box-shadow: none; }
   spinbutton:not(.vertical) button,
   spinbutton:not(.vertical) .titlebar button.titlebutton,
   .titlebar spinbutton:not(.vertical) button.titlebutton {
+    margin: 0;
     background-image: none;
     border-style: none none none solid;
     border-color: rgba(28, 31, 31, 0.3);
@@ -1952,11 +1954,13 @@ headerbar {
       min-height: 26px;
       padding: 0 5px; }
   .titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton:not(.vertical),
+  .titlebar:not(headerbar) spinbutton,
   .titlebar:not(headerbar) separator,
   .titlebar:not(headerbar) button,
   .titlebar:not(headerbar) button.titlebutton,
   headerbar entry,
   headerbar spinbutton:not(.vertical),
+  headerbar spinbutton,
   headerbar separator,
   headerbar button,
   headerbar button.titlebutton,
index a7ff60d78f144318044b97dce81635a633b9c6a0..8bc47f8b361e4042543143138158945bb09a9359 100644 (file)
@@ -1355,12 +1355,14 @@ headerbar button.titlebutton:visited,
 spinbutton:not(.vertical) {
   padding: 0; }
   spinbutton:not(.vertical) entry, spinbutton:not(.vertical) spinbutton:not(.vertical) {
+    margin: 0;
     background: none;
     border: none;
     box-shadow: none; }
   spinbutton:not(.vertical) button,
   spinbutton:not(.vertical) .titlebar button.titlebutton,
   .titlebar spinbutton:not(.vertical) button.titlebutton {
+    margin: 0;
     background-image: none;
     border-style: none none none solid;
     border-color: rgba(157, 157, 153, 0.3);
@@ -1956,11 +1958,13 @@ headerbar {
       min-height: 26px;
       padding: 0 5px; }
   .titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton:not(.vertical),
+  .titlebar:not(headerbar) spinbutton,
   .titlebar:not(headerbar) separator,
   .titlebar:not(headerbar) button,
   .titlebar:not(headerbar) button.titlebutton,
   headerbar entry,
   headerbar spinbutton:not(.vertical),
+  headerbar spinbutton,
   headerbar separator,
   headerbar button,
   headerbar button.titlebutton,